what is merge sort and how it works